Typical language constructs allow for defining a process either in the form of extended flowcharts or finite state machines. 典型的语言构造允许以扩展流程图或者限定状态机器的形式定义流程。
The idea of using of model programs and state space exploration is a natural extension of finite state machine based techniques that fits well with black-box testing of software. 使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。
Design and implementation of finite state automaton on USSD dialogue; 提出一种用有穷状态自动机研究浅海声场的方法。
I use a finite state machine in the regular expression is achieved. 我的一个利用有限状态机的正则表达式的实现。
Protocol analyzing finite state machine plays a very important role in guaranteeing the correctness of protocol analyzing. 协议分析状态机是提高协议分析正确性的重要保证。
A design approach of finite state machine for survivability control system based on Boolean expression ( BoolSFSM) is proposed. 文章提出一种基于布尔表达式的可生存性控制系统的有限状态机的设计方法。
Example 8-8 gives a glimpse of finite state machines from Chapter 9. 例8-8小窥了一下第9章的有限状态机。
The Minimizing Method for Deterministic Finite State Automata Based on Rough Set Theory 基于粗糙集理论的有限自动机最小化方法改进
Sensor management method based on finite state automata 基于有限状态自动机的传感器管理方法
Semantic Content Analysis Model for Sports Video Based on Perception Concepts and Finite State Machines 基于感知概念和有限状态机的体育视频语义内容分析模型
Event reconstruction algorithm based on timed finite state machine 基于时间有限状态自动机的事件重建推理算法
Finally, we use the trajectory of human and a pre-decided finite state machine to analyze the abnormal of human behavior. 最后,我们使用找出来的移动轨迹以及一个事先定义好的有限状态机来分析人的不正常行为。
A service composition model based on finite state automata; 系统首先对待切分词使用有限状态自动机进行分析。
Pulse distributing is designed by finite state machine and the PWM realizes step angles subdivided control. 系统采用有限状态机设计脉冲分配并利用脉宽调制方法实现步距角的细分控制。
The paper models queue system using queuing theory, finite state machine principle, and cellular automata model. 本文利用排队论、有限状态自动机原理以及元胞自动机模型对排队系统进行建模。
Research on Simulation of Fuzzy Control of Antilock Braking System Based on Finite State Machine Theory 基于有限状态机理论的ABS模糊控制仿真研究
Loosely speaking, model checking is a way to check for the existence of a finite state machine ( specification) in another finite state machine ( program). 不严格地说,模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
A typical implementation of the mediator is based on the transition systems or finite state machines. 中介者的典型实现一般都基于转换系统(TransitionSystem)或有限状态机。
Design of Traffic Light Control System based on VHDL Finite State Machine 基于VHDL语言有限状态机的交通灯控制系统设计
This paper puts forward a design of software System Framework of the signaling data simulation tester based on the technology of multithreading, finite state machine and dynamic link library. 本文采用多线程、有限状态机和动态链接库技术设计一种信令数据仿真测试仪的软件体系结构。
The program being checked is also converted to a finite state machine, created by abstracting away all the details except the atomic predicates observed in the program. 被检查的程序也被转换为一个有限状态机器,通过摘掉所有细节、保留程序中被观测的原子谓词。
A finite state machine can only be in one state at any moment in time. 有限状态机在任一时刻都只能够处于一种状态中。
Finite state machine based specification for schedule and synchronization is presented. 给出了基于有限状态机的调度和同步描述。
The management of logic ring and the network sleep algorithm is introduced, and in the end, the finite state automation is proposed to manage the states and behaviors of the network nodes. 详细介绍了逻辑环的管理和在其上实现网络睡眠的算法,并提出采用有限状态自动机进行网络节点状态和行为的管理。
Model checking is a formal method for verifying the temporal logic properties of finite state systems. 模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。
Realization of finite state machine model in group artificial intelligence animation 群体动画中的有限状态机模型及其实现
Fault detection based on extended finite state machine model 基于扩展有限状态机模型的故障检测
Finite state machine is refers to the output depends on the past input part and the current input portion of temporal logic circuit. 用程序实现状态机功能,有限状态机是指输出取决于过去输入部分和当前输入部分的时序逻辑电路。
A method of using finite state machine to design human-machine interface based on liquid crystal is proposed by analyzing the special character of state transition of finite state machine. 通过分析有限状态机状态转移的特性,提出了利用有限状态机设计液晶显示人机界面的方法。
The characteristics of digital voice short energy and ZRC is studied, and a new voice activity detection algorithm based on finite state machine is presented. 研究了数字语音短时能量和过零率特点,提出了基于有限状态机的端点检测新算法。